\frameforsection[t]{
  \begin{enumerate}
    \item \hyperlink{1-1}{给出一个判断4位二进制数是否为素数的模块定义并根据Verilog模块的一般结构规则加以解释}
    \item \hyperlink{1-2}{case语句的适用场景及用法}
    \item \hyperlink{1-3}{casex语句的适用场景及用法}
    \item \hyperlink{1-4}{assign语句的适用场景及用法}
    \item \hyperlink{1-5}{举例说明什么是模块的结构描述及适用场景}
    \item \hyperlink{1-6}{举例说明在模块中描述无关项}
    \item \hyperlink{2_2}{请给出仅具有输出测试结果功能的测试平台示例并说明其适用场景}
    \item \hyperlink{2_3}{请给出仅具有自动检测结构功能的测试平台示例并说明其适用场景}
    \item \hyperlink{3}{请举例说明如何如何编写反函数及在测试平台中正确使用}
  \end{enumerate}
}
